退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:超越等级1:代数语义和代数逻辑的有限模型
Dirk Pattinson; Lutz Schröder;
机译:有限秩的代数模态逻辑
机译:代数模态逻辑的有限模型构造
机译:等级1模态逻辑是联合代数
机译:超越等级1:代数语义和有限模型的代数逻辑
机译:关于与有限排序的位姿和组合拓扑相关的代数:Koszul,数值上的Koszul和Cohen-Macaulay属性。
机译:三维计算模型通过双相多孔弹性有限元分析和模糊逻辑控制模拟骨折愈合过程
机译:有限秩的余代模态逻辑
机译:生成和使用有限输入输出模型,语义模型和软件质量保证的比较
机译:生成和使用有限输入输出模型,语义模型的比较和软件质量保证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。